<html>
 <head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head>
 <body>
  <a href="http://www.sudokuwiki.org/Unit_Forcing_Chains">Dynamic Region Forcing Chains</a>
  <p>
   Wir können beweisen, dass die folgenden Behauptungen alle wahr sind:
   <ul>
    {0}
   </ul>
   Eine der Annahmen muss wahr sein, weil nur eine der <b>Zellen {5}</b> in <b>{2}</b> den <b>Wert {1}</b> enthalten kann.<br/>
   Da bei allen Behauptungen die Schlussfolgerung die gleiche ist, folgt dass diese wahr sein muss. Also <b>{3}</b>.<br/>
   Jede einzelne Behauptung kann durch eine dynamische Abfolge logischer Schlüsse bewiesen werden, jede davon möglicherweise aus mehreren Teilketten bestehend.<br/>
   Diese Lösungstechnik wird auch Unit Forcing Chains genannt.
  <p>
  {4}
  </p>
 </body>
</html>